Distributed operating system